\begin{tabbing}
(\=(((RWO "no\_repeats\_cons" ({-}5)) \+
\\[0ex]CollapseTHEN (Auto$\cdot$))$\cdot$) 
\\[0ex]CollapseTHEN (((InstHyp [$x$;$y$
\-\\[0ex]]\= 5) \+
\\[0ex]CollapseTHEN (Auto$\cdot$))$\cdot$))$\cdot$
\-
\end{tabbing}